12345 efghi UNIVERSITY OF WALES SWANSEA
نویسندگان
چکیده
For finitary set functors preserving inverse images several concepts of coalgebras A are proved to be equivalent: (i) A has a homomorphism into the initial algebra, (ii) A is recursive, i.e., A has a unique coalgebra-to-algebra morphism into any algebra, and (iii) A is parametrically recursive. And all these properties mean that the system described by A always halts in finitely many steps.
منابع مشابه
12345 efghi UNIVERSITY OF WALES SWANSEA
One objective of this study is to assess the influence of the number of dangling arms at each end of the pom-pom molecule on flow characteristics in a 4:1 planar rounded-corner contraction, where varying the number of arms affects the level of entanglement in the system. For these complex flows, we evaluate the major influence of extensional viscosity and Trouton ratio when comparing kinematic-...
متن کاملIs there more to subjective cognitive impairment than meets the eye? Raising awareness.
Andrea Talesa,∗, Gordon K. Wilcockb, Judith E. Phillipsc and Antony Bayerd aCollege of Human and Health Sciences, Department of Psychology, Swansea University, Swansea, Wales, UK bNuffield Department of Clinical Neurosciences, University of Oxford, Oxford, UK cCollege of Human and Health Sciences, OPAN, Swansea University, Swansea, Wales, UK dSchool of Medicine, Cardiff University, University H...
متن کاملSubjective Cognitive Decline
Andrea Talesa,∗, Frank Jessenb,c, Christopher Butlerd, Gordon Wilcockd, Judith Phillipse and Tony Bayerf aCollege of Human and Health Sciences, Department of Psychology, Swansea University, Swansea, Wales, UK bDepartment of Psychiatry, University of Cologne, Medical Faculty, Cologne, Germany cGerman Center for Neurodegenerative Disorders (DZNE), Germany dNuffield Department of Clinical Neurosci...
متن کامل12345 efghi UNIVERSITY OF WALES
Applications of graph and hypergraph decomposition techniques to SAT solving have been studied under various conditions. Theoretical research focused on the direction given by tree decompositions, while practical approaches either integrated tree decomposition guidance into existing SAT solver, or studied splitting techniques using hypergraph cuts. In this article we present a uniform and gener...
متن کاملCohort Profile Cohort Profile: Growing Up in Wales: The Environments for Healthy Living study
Cohort Profile: Growing Up in Wales: The Environments for Healthy Living study Kelly L Morgan,* Ashrafunnesa Khanom, Rebecca A Hill, 2 Ronan A Lyons and Sinead T Brophy Centre for the Development and Evaluation of Complex Interventions for Public Health Improvement (DECIPHer), School of Social Sciences, Cardiff University, Cardiff, UK, Farr Institute, College of Medicine, Swansea University, Sw...
متن کامل